منطق دانان حملیه محصوره را به حقیقیه و خارجیه تقسیم کرده اند؛ حقیقیه آن است که موضوع ملاک حمل محمول بر موضوع است. موضوعات حقیقیه چهار دسته اند: یک دسته از این موضوعات وجودند که احکام بدون فرض و تقدیر بر تمام افرادش بار می شود و در سه دسته دیگر از موضوعات بدون آنکه برای همه یا برخی از افراد آن فرض وجود شود حکم صادق نخواهیم داشت. حقیقیه، هر چند مساوق با متصله است، بدان بر نمی گردد، زیرا در حملیه ...

خواجه نصیرالدین طوسی (یکی از بزرگترین منطق دانان در تاریخ جهان اسلام) در کتاب اساس‌الاقتباس تحلیلی از گزاره‌های شرطیه متصله دارد که به تحلیل‌های منطق‌های سه ارزشی از گزاره‌های شرطی شبیه است. بنابراین، این پرسش پیش می‌آید که آیا خواجه نصیرالدین طوسی به ارزش سومی برای جمله‌ها قایل بوده است یا خیر؟ در این مقاله، ما با بررسی نظر خواجه و همچنین شاگردان او و مقایسه این نظرات با نظرات منطق دانان سه ار...

در این تحقیق برای اولین بار تاثیر پارامترهایی نظیر سفتی موضعی هوشمند و ابعاد جسم متصله هوشمند حافظه‌دار در رفتار دینامیکی ورق‌های ضخیم با حضور جسم متصله هوشمند حافظه‌دار بررسی شده است. در بدست آوردن معادلات حاکمه‌ی حرکت این ورق از تئوری مرتبه بالای 12 مولفه‌ایی گارک- کانت استفاده شده است که در این حالت اثرات ناشی از آلیاژهای حافظه‌دار و سفتی موضعی جسم متصله در نظر گرفته شده و در ادامه معادلات ا...

قیاس تلازم در قرآن کریمچکیده قیاسی که کبرای آن شرطیه متصله باشد قیاس تلازم نامیده می شود. این قیاس در دو حالت «وضع مقدم» و «رفع تالی»، منتج و در سایر اشکال عقیم است. قیاس های تلازم ذکر شده در قرآن کریم چند حالت دارد: گاهی شرایط عمومی و اختصاصی قیاس تلازم در آنها کاملا رعایت شده است اما به علت وضوح، برخی مقدمات یا نتایج آنها ذکر نشده و قیاس اصطلاحاً مضمر و مرخّم است؛ اما گاهی ظاهراً شرایط اختصاصی ق...

ابن سینا برای اولین بار در تاریخ منطق کمیت و کیفیت گزاره های شرطی را به تفصیل بحث نموده است و در قالب زبان طبیعی به تبیین چگونگی اعتبار کلیت جزئیت و نیز تعیین جایگاه ایجاب و سلب در گزاره های شرطی پرداخته است هر چند وی در این تحلیلها به نکات و دقایق متعددی دست یافته است اما منطق معمول و موجه شرطی ها را در هم آمیخته که به دلیل برخی مواضع متضاد در آن سیستم صوری معینی درباره شرطی از آن قابل استخراج...

بحث درباره مقصود پاسکال از ارائه شرطیه هنوز به جواب مقبول همه نرسیده است! آیا پاسکال در پی ارائه یک برهان است و یا تنها می خواهد دعوتی به محفل انس خود نماید؟ آیا مخاطب او ملحد است و یا درصدد تقویت ایمان مسیحی است؟ ریشه های قبلی شرطیه پاسکال کجاست؟ در مقاله حاضر ضمن بررسی تأملات پاسکال و مهم ترین شرح های آن تا حد امکان کوشش شده است ابتدا گفتار او ایضاح و سپس با روشن تر کردن پرسش های فوق، اقوال م...

منطق دانان حملیة محصوره را به حقیقیه و خارجیه تقسیم کرده اند؛ حقیقیه آن است که موضوع ملاک حمل محمول بر موضوع است. موضوعات حقیقیه چهار دسته اند: یک دسته از این موضوعات وجودند که احکام بدون فرض و تقدیر بر تمام افرادش بار می شود و در سه دستة دیگر از موضوعات بدون آنکه برای همه یا برخی از افراد آن فرض وجود شود حکم صادق نخواهیم داشت. حقیقیه، هر چند مساوق با متصله است، بدان بر نمی گردد، زیرا در حملیه ...

چکیده ارتباط میان ایمان و عقل متفکران بسیاری را چه در مغرب زمین و چه در میان متفکران اسلامی به خود مشغول داشته است، از جمله این متفکران غزالی و پاسکال هستند. غزالی بر برتری ایمان بر تعقل معتقد بود و داور نهایی را دین و ایمان می دانست چرا که باور داشت به واسطه براهین و استدلال های عقلانی نمی توان ایمان را توجیه کرد، حتی اگر چنین کاری هم انجام شود، این ایمان عقل زده است و نمی تواند به ما کمک کن...

فعل ناقص «کان» و مشتقات آن با ساخت­های مختلف، هزار و چهار صد و پنجاه بار در قرآن ذکر شده؛ از این­ رو بایسته است تا مترجمان قرآن با عنایت به سیاق این فعل و ویژگی­های آن، ترجمه­ای که نزدیک به مدلول متن عربی قرآن باشد، ارائه دهند. از ساخت­های پرکاربرد این واژه در قرآن، می­توان به «کان» در سیاق جملة شرطیه و جملة صله و مواردی که خبر «کان»، صفت مشبهه یا صیغه مبالغه است، اشاره نمود که باعث شده مترجمان...

پاسخ دینامیکی یک ورق ساندویچی با رویه های کامپوزیتی به همراه یک جرم گسترده متصله یکنواخت تحت ضربه سرعت پایین در پروژه حاضر بررسی شده است. ورق ساندویچی مربعی از دو رویه کامپوزیتی چند لایه نازک و یک هسته انعطاف پذیر ضخیم تشکیل شده و جرم گسترده متصله نیز از یک ماده همسانگرد و با فرض عدم مقاومت در برابر خمش ناحیه اتصال، ساخته شده است. ابتدا ارتعاشات آزاد ورق ساندویچی به همراه جرم گسترده با استفاده ...